Mechanical theorem proving

[计] 机器证明

🧩 词语组成解析

mechanical [mɪ'kænɪkəl]
adj. 机械的，机械学的;呆板的;体力的;手工操作的;
mechan(machine)+ical(形容词后缀)→机械的；呆板的
theorem ['θiərəm]
n. [数] 定理;（能证明的）一般原理，公理，定律，法则;
theor考虑 + em获得→考虑后获得的结果 → n.[数]定理, 法则
proving
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)

🗣️ 情景例句

My academic preparation, job skill, and enthusiasm about working for the firm.
我有专业知识，工作技巧，和为这家公司工作的热情。
We'll share everything.
我们什么都可以均分。
When you type a letter, the writing appears on a screen in front of you and is recorded onto a computer disk.
当你打一封信时，字迹出现在你前面的屏幕上并顾在电脑的磁盘里。
更多情景英语 ›

🔤 更多 M 开头的单词

macaroni ˌmækə'rəuni
mandruka
Marxism-Leninism
mcgraw-hill
meningoexothelioma
micromicrocurie
misdoubts
modulated
全部 M 开头单词 ›